Total Books: 1 - 3 /3
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lire la suite
Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lire la suiteModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lire la suite
Total Books: 1 - 3 /3
